12

Axiomatizing Universal Properties of Quantifiers

Year:
1991
Language:
english
File:
PDF, 415 KB
english, 1991
17

Advances in management of Guillain–Barré syndrome

Year:
2018
Language:
english
File:
PDF, 540 KB
english, 2018
21

A Generalisation in the Theory of Normal Functions

Year:
1970
Language:
english
File:
PDF, 204 KB
english, 1970
22

Elementary Properties of the Finite Ranks

Year:
1998
Language:
english
File:
PDF, 298 KB
english, 1998
23

Relatives of the Russell Paradox

Year:
1999
Language:
english
File:
PDF, 606 KB
english, 1999
29

A slight strengthening of a theorem of Blair and Kunen

Year:
1992
Language:
english
File:
PDF, 357 KB
english, 1992
30

A new definition of SLDNF-resolution

Year:
1994
Language:
english
File:
PDF, 1.02 MB
english, 1994
31

The vacuum system of the LHCb vertex detector

Year:
2002
Language:
english
File:
PDF, 817 KB
english, 2002
41

Left termination turned into termination

Year:
1994
Language:
english
File:
PDF, 429 KB
english, 1994